Syllogistic without existence.

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Vague Composition Without Vague Existence

David Lewis (1986) criticizes moderate views of composition on the grounds that a restriction on composition must be vague, and vague composition leads, via a precisificational theory of vagueness, to an absurd vagueness of existence. I show how to resist this argument. Unlike the usual resistance, however, I do not jettison precisificational views of vagueness. Instead, I blur the connection b...

متن کامل

Extending Syllogistic Reasoning

In this paper syllogistic logic is extended first to full propositional logic, and then an interesting fragment of predicate logic that

متن کامل

Syllogistic Logic with Complements

This paper continues the development of complete fragments of natural language by adding a noun-level complement operator to the basic syllogistic language of All X are Y and Some X are Y : in the fragment of this paper we can also say, for example, Some non-X are Y . We axiomatize this logic of this fragment in two ways: in a direct fashion, allowing the inference of an arbitrary sentence from...

متن کامل

Strategies in syllogistic reasoning

This paper is about syllogistic reasoning, i.e., reasoning from such pairs of premises as, All the chefs are musicians; some of the musicians are painters. We present a computer model that implements the latest account of syllogisms, which is based on the theory of mental models. We also report four experiments that were designed to test this account. Experiments 1 and 2 examined the strategies...

متن کامل

The propositional and relational syllogistic∗

In this paper it is shown how syllogistic reasoning can be extended to account for propositional logic and relations.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Notre Dame Journal of Formal Logic

سال: 1967

ISSN: 0029-4527

DOI: 10.1305/ndjfl/1093956084